Defining a Framework for the Development and Management of Dependability Cases
نویسنده
چکیده
Dependability cases are a concept that has primarily emerged from safety cases. A dependability case constitutes a clear, defensible, and traceable argument that a system is acceptably dependable to operate in a given operational context. This includes any requirements that are crucial to the stakeholders’ envisioned system operation. A dependability case can be thought of as a driver communicating assurance about the various facets of a system’s operation. The importance of assuring the achievement of dependability attributes is readily apparent in many examples of systems and in specific System of Systems – a class of systems that exhibits a combination of characteristics such as, complexity, autonomy and geographic dispersion. Establishing a dependability case is not a monolithic process, but involves a number of processes and concepts that contribute in overcoming a number of challenges. These include elicitation and apportionment of dependability requirements, resolution of conflicts between dependability attributes and evolution of case. In this paper we present a dependability case framework. The framework includes three processes that have been proposed to overcome the stated challenges, and it can constitute the basis for further additions on the concept. The concept of dependability cases is supported by two pylons. Description of concepts used and their associations (static representation) and definition of the processes that contribute to the construction of the dependability case. The static representation of the framework is defined in a (domain specific) metamodel. Furthermore the processes that participate in the evolution of the dependability case are described along with their prerequisites and contributions to the dependability case.
منابع مشابه
Managing the evolution of dependability cases for systems of systems
Dependability is a composite property consisting of attributes such as reliability, availability, safety and security. The achievement of these attributes is often essential for the operational success of systems undertaking critical and complex tasks. Assurance that the final system will demonstrate the required dependability qualities, can be crucial to the acceptance of the system into servi...
متن کاملCompilation Framework of Sport Diplomacy Development in Islamic Republic of Iran Armed Forces
Nowadays, sport provides an opportunity for friendly cooperation among different countries which is based on contribution of all nations and individuals in the natural form of sport. Therefore, the aim of this study was to compile a framework of sport diplomacy in Islamic Republic of Iran armed forces. The methodology of present study is Grounded Theory (GT) having qualitative approach which is...
متن کاملForced Migration and Global Responsibility for Health; Comment on “Defining and Acting on Global Health: The Case of Japan and the Refugee Crisis”
Forced migration has become a world-wide phenomenon in the past century, affecting increasing numbers of countries and people. It entails important challenges from a global health perspective. Leppold et al have critically discussed the Japanese interpretation of global responsibility for health in the context of forced migration. This commentary complements their analysis by outlining three pr...
متن کاملDesigning a Conceptual Framework for Employees' Self-development Behavio; a Case in the Khorasan Razavi, North and South Gas Company
The concept of "self-development behavior and the voluntary development of employees" has a special position in the literature of organizational behavior and organizational resource management; and management scholars and experts have different views on this. The main purpose of the present study was to present a conceptual framework for employees' self-development behavior. This research was d...
متن کاملINTRODUCTION AND DEVELOPMENT OF SURROGATE MANAGEMENT FRAMEWORK FOR SOLVING OPTIMIZATION PROBLEMS
In this paper, we have outlined the surrogate management framework for optimization of expensive functions. An initial simple iterative method which we call the “Strawman” method illustrates how surrogates can be incorporated into optimization to stand in for the most expensive function. These ideas are made rigorous by incorporating them into the framework of pattern search methods. The SMF al...
متن کامل